negation by failure การใช้

• However, the implementation of negation by failure needs only the if-halves of the definitions without the axioms of equality.